Publikationen
2023
Prioritised Unit Propagation by Partitioning the Watch Lists
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), pp. 14-34, Vol.3545, 2023
Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis
BibTeX
Mavroskoufis, Michael